circuit sat is np complete